Assis, Fábio Henrique de; Maruyama, Newton (Orientador) 
Subjects: SUBMERSÍVEIS NÃO TRIPULADOS, ARQUITETURA DE SOFTWARE (ESPECIFICAÇÃO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ASSIS, Fábio Henrique de. Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-15092009-163107/. Acesso em: 01 jun. 2024.APA
Assis, F. H. de. (2009). Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-15092009-163107/NLM
Assis FH de. Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais [Internet]. 2009 ;[citado 2024 jun. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-15092009-163107/Vancouver
Assis FH de. Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais [Internet]. 2009 ;[citado 2024 jun. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-15092009-163107/
